[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

101 111 1983 0 0 0 0 0 0

N.S.

1 1.10 19.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.293 17.082 0.000 0.000 0.000 0.000 0.000 0.000

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

103 113 1987 0 0 0 0 0 0

N.S.

1 1.10 19.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.327 17.433 0.000 0.000 0.000 0.000 0.000 0.000

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

103 113 1997 0 0 0 0 0 0

N.S.

1 1.10 19.39 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.338 17.602 0.000 0.000 0.000 0.000 0.000 0.000

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

216 212 149 0 0 0 0 0 0

N.S.

1 0.98 0.69 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.375 2.162 0.000 0.000 0.000 0.000 0.000 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

129 127 126 0 0 0 0 0 0

N.S.

1 0.98 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.281 2.142 0.000 0.000 0.000 0.000 0.000 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

72 72 71 0 0 0 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.244 1.035 0.000 0.000 0.000 0.000 0.000 0.000

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

83 83 2137 0 0 0 0 0 0

N.S.

1 1.00 25.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.234 6.248 0.000 0.000 0.000 0.000 0.000 0.000

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

83 83 1914 0 0 0 0 0 0

N.S.

1 1.00 23.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.256 16.549 0.000 0.000 0.000 0.000 0.000 0.000

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

83 83 1912 0 0 0 0 0 0

N.S.

1 1.00 23.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.257 16.255 0.000 0.000 0.000 0.000 0.000 0.000

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

83 83 1914 0 0 0 0 0 0

N.S.

1 1.00 23.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.255 16.860 0.000 0.000 0.000 0.000 0.000 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

72 63 55 55 95 69 116 280 52

N.S.

1 0.88 0.76 0.76 1.32 0.96 1.61 3.89 0.72

time (sec)

N/A 0.252 0.185 1.626 0.192 0.268 0.547 1.588 19.692

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

49 46 43 45 64 50 80 236 46

N.S.

1 0.94 0.88 0.92 1.31 1.02 1.63 4.82 0.94

time (sec)

N/A 0.244 0.084 0.736 0.190 0.259 0.263 0.658 19.536

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 28 30 26 33 37 42 190 32

N.S.

1 0.93 1.00 0.87 1.10 1.23 1.40 6.33 1.07

time (sec)

N/A 0.211 0.020 0.332 0.199 0.244 0.128 0.328 18.982

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 37 50 24 33 35 0 98 32

N.S.

1 1.32 1.79 0.86 1.18 1.25 0.00 3.50 1.14

time (sec)

N/A 0.240 0.029 0.327 0.194 0.258 0.000 0.276 19.680

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 41 52 39 29 50 0 146 51

N.S.

1 1.28 1.62 1.22 0.91 1.56 0.00 4.56 1.59

time (sec)

N/A 0.242 0.181 0.578 0.188 0.258 0.000 0.310 19.274

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 66 73 55 49 83 0 238 61

N.S.

1 1.29 1.43 1.08 0.96 1.63 0.00 4.67 1.20

time (sec)

N/A 0.268 0.029 1.253 0.183 0.259 0.000 0.354 19.878

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 60 73 57 56 89 66 56 51

N.S.

1 0.94 1.14 0.89 0.88 1.39 1.03 0.88 0.80

time (sec)

N/A 0.276 0.024 2.202 0.268 0.257 1.254 2.182 18.993

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 57 47 45 72 54 45 40

N.S.

1 1.00 1.19 0.98 0.94 1.50 1.12 0.94 0.83

time (sec)

N/A 0.268 0.017 1.098 0.267 0.254 0.831 0.943 19.463

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 36 41 37 33 53 42 33 29

N.S.

1 1.12 1.28 1.16 1.03 1.66 1.31 1.03 0.91

time (sec)

N/A 0.250 0.013 0.562 0.269 0.254 0.584 0.502 19.434

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 16 15 31 0 15 17

N.S.

1 1.00 1.00 1.07 1.00 2.07 0.00 1.00 1.13

time (sec)

N/A 0.151 0.002 0.271 0.184 0.251 0.000 0.275 19.591

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 26 43 33 25 34 0 53 19

N.S.

1 1.37 2.26 1.74 1.32 1.79 0.00 2.79 1.00

time (sec)

N/A 0.242 0.082 0.566 0.273 0.246 0.000 0.297 19.279

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 41 51 48 41 76 0 111 35

N.S.

1 1.24 1.55 1.45 1.24 2.30 0.00 3.36 1.06

time (sec)

N/A 0.259 0.017 0.886 0.269 0.252 0.000 0.310 19.443

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 49 51 63 52 110 0 170 46

N.S.

1 0.96 1.00 1.24 1.02 2.16 0.00 3.33 0.90

time (sec)

N/A 0.262 0.029 1.891 0.274 0.244 0.000 0.337 19.797

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

100 91 126 86 147 99 190 431 124

N.S.

1 0.91 1.26 0.86 1.47 0.99 1.90 4.31 1.24

time (sec)

N/A 0.299 0.531 9.059 0.195 0.274 1.130 1.894 19.519

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

77 71 107 76 114 79 128 385 92

N.S.

1 0.92 1.39 0.99 1.48 1.03 1.66 5.00 1.19

time (sec)

N/A 0.271 0.291 4.573 0.191 0.267 0.564 0.876 20.179

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

48 46 83 41 67 53 61 334 61

N.S.

1 0.96 1.73 0.85 1.40 1.10 1.27 6.96 1.27

time (sec)

N/A 0.242 0.120 2.223 0.190 0.261 0.277 0.420 19.686

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

53 55 84 50 64 79 0 247 58

N.S.

1 1.04 1.58 0.94 1.21 1.49 0.00 4.66 1.09

time (sec)

N/A 0.268 0.246 1.850 0.191 0.260 0.000 0.318 20.391

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 64 81 64 60 100 0 233 68

N.S.

1 1.12 1.42 1.12 1.05 1.75 0.00 4.09 1.19

time (sec)

N/A 0.277 0.195 2.618 0.188 0.260 0.000 0.329 20.281

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 69 77 71 61 97 0 332 83

N.S.

1 1.35 1.51 1.39 1.20 1.90 0.00 6.51 1.63

time (sec)

N/A 0.277 0.297 5.402 0.182 0.269 0.000 0.363 20.714

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 90 275 88 84 137 0 91 126

N.S.

1 0.95 2.89 0.93 0.88 1.44 0.00 0.96 1.33

time (sec)

N/A 0.324 3.708 12.310 0.269 0.269 0.000 2.517 19.692

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 75 395 78 71 113 0 78 97

N.S.

1 0.97 5.13 1.01 0.92 1.47 0.00 1.01 1.26

time (sec)

N/A 0.309 2.302 6.529 0.264 0.264 0.000 1.197 19.432

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 60 281 68 58 86 0 65 69

N.S.

1 1.02 4.76 1.15 0.98 1.46 0.00 1.10 1.17

time (sec)

N/A 0.299 1.710 3.204 0.264 0.262 0.000 0.651 19.412

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 44 41 46 44 58 0 49 42

N.S.

1 1.10 1.02 1.15 1.10 1.45 0.00 1.22 1.05

time (sec)

N/A 0.218 0.136 0.545 0.182 0.254 0.000 0.287 19.572

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 40 82 66 46 67 0 46 44

N.S.

1 1.11 2.28 1.83 1.28 1.86 0.00 1.28 1.22

time (sec)

N/A 0.292 3.125 1.889 0.266 0.251 0.000 0.323 19.059

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 49 160 73 59 98 0 176 53

N.S.

1 1.09 3.56 1.62 1.31 2.18 0.00 3.91 1.18

time (sec)

N/A 0.301 1.572 3.911 0.271 0.249 0.000 0.323 19.971

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 66 256 107 72 136 0 273 68

N.S.

1 1.02 3.94 1.65 1.11 2.09 0.00 4.20 1.05

time (sec)

N/A 0.308 3.887 7.660 0.280 0.271 0.000 0.354 19.656

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

69 63 99 67 81 84 0 373 103

N.S.

1 0.91 1.43 0.97 1.17 1.22 0.00 5.41 1.49

time (sec)

N/A 0.291 0.332 1.595 0.188 0.298 0.000 1.518 19.461

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 41 42 50 41 0 222 64

N.S.

1 1.00 0.91 0.93 1.11 0.91 0.00 4.93 1.42

time (sec)

N/A 0.272 0.118 0.798 0.190 0.291 0.000 0.605 20.163

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 26 35 26 21 117 129 63

N.S.

1 1.00 1.13 1.52 1.13 0.91 5.09 5.61 2.74

time (sec)

N/A 0.208 0.213 0.351 0.179 0.250 5.559 0.329 19.831

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 52 43 68 50 42 0 166 65

N.S.

1 1.13 0.93 1.48 1.09 0.91 0.00 3.61 1.41

time (sec)

N/A 0.272 0.118 0.648 0.186 0.299 0.000 0.296 20.645

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 77 100 119 87 126 0 294 98

N.S.

1 1.04 1.35 1.61 1.18 1.70 0.00 3.97 1.32

time (sec)

N/A 0.300 0.239 1.273 0.184 0.343 0.000 0.342 20.762

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 118 138 180 145 265 0 513 160

N.S.

1 1.09 1.28 1.67 1.34 2.45 0.00 4.75 1.48

time (sec)

N/A 0.344 0.717 2.611 0.195 0.458 0.000 0.397 20.663

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 98 229 101 95 373 0 126 1109

N.S.

1 1.18 2.76 1.22 1.14 4.49 0.00 1.52 13.36

time (sec)

N/A 0.389 3.953 2.321 0.273 0.306 0.000 2.090 19.875

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 70 206 72 66 297 0 87 410

N.S.

1 1.19 3.49 1.22 1.12 5.03 0.00 1.47 6.95

time (sec)

N/A 0.317 2.119 1.138 0.266 0.283 0.000 0.868 19.158

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 53 184 48 45 226 0 66 126

N.S.

1 1.15 4.00 1.04 0.98 4.91 0.00 1.43 2.74

time (sec)

N/A 0.288 0.755 0.632 0.266 0.279 0.000 0.452 19.656

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 182 46 44 231 0 65 460

N.S.

1 1.00 4.04 1.02 0.98 5.13 0.00 1.44 10.22

time (sec)

N/A 0.263 0.262 0.204 0.269 0.284 0.000 0.274 19.369

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 77 204 68 66 310 0 87 637

N.S.

1 1.24 3.29 1.10 1.06 5.00 0.00 1.40 10.27

time (sec)

N/A 0.325 2.248 0.947 0.266 0.283 0.000 0.312 21.799

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

86 109 390 90 106 533 0 134 2644

N.S.

1 1.27 4.53 1.05 1.23 6.20 0.00 1.56 30.74

time (sec)

N/A 0.385 4.688 1.806 0.268 0.308 0.000 0.352 24.728

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

120 147 671 118 161 833 0 212 4324

N.S.

1 1.22 5.59 0.98 1.34 6.94 0.00 1.77 36.03

time (sec)

N/A 0.456 4.363 3.663 0.271 0.318 0.000 0.386 25.759

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 70 109 72 98 118 0 532 170

N.S.

1 0.91 1.42 0.94 1.27 1.53 0.00 6.91 2.21

time (sec)

N/A 0.294 0.751 6.079 0.182 0.318 0.000 1.646 20.344

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 48 81 50 59 53 0 314 97

N.S.

1 0.94 1.59 0.98 1.16 1.04 0.00 6.16 1.90

time (sec)

N/A 0.271 2.341 3.282 0.195 0.256 0.000 0.720 20.325

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 44 79 59 57 52 0 384 90

N.S.

1 0.90 1.61 1.20 1.16 1.06 0.00 7.84 1.84

time (sec)

N/A 0.245 0.637 2.325 0.185 0.264 0.000 0.428 19.572

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 84 112 91 117 138 0 396 106

N.S.

1 1.01 1.35 1.10 1.41 1.66 0.00 4.77 1.28

time (sec)

N/A 0.302 0.569 3.656 0.188 0.377 0.000 0.341 19.758

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 108 130 141 192 312 0 811 160

N.S.

1 0.97 1.17 1.27 1.73 2.81 0.00 7.31 1.44

time (sec)

N/A 0.324 1.784 7.277 0.204 0.498 0.000 0.421 20.508

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 148 162 201 279 557 0 913 206

N.S.

1 1.06 1.16 1.44 1.99 3.98 0.00 6.52 1.47

time (sec)

N/A 0.377 2.956 13.267 0.196 0.797 0.000 0.505 21.174

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

119 131 286 125 127 514 0 155 765

N.S.

1 1.10 2.40 1.05 1.07 4.32 0.00 1.30 6.43

time (sec)

N/A 0.401 6.801 8.526 0.275 0.296 0.000 2.238 20.049

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

90 104 249 85 96 393 0 120 285

N.S.

1 1.16 2.77 0.94 1.07 4.37 0.00 1.33 3.17

time (sec)

N/A 0.334 3.735 4.548 0.291 0.294 0.000 1.017 19.786

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

85 95 346 77 75 458 0 94 711

N.S.

1 1.12 4.07 0.91 0.88 5.39 0.00 1.11 8.36

time (sec)

N/A 0.313 8.548 2.397 0.275 0.304 0.000 0.554 20.669

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

92 111 240 90 106 435 0 114 2056

N.S.

1 1.21 2.61 0.98 1.15 4.73 0.00 1.24 22.35

time (sec)

N/A 0.261 2.200 0.421 0.277 0.295 0.000 0.288 21.731

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

121 141 288 102 163 604 0 175 3146

N.S.

1 1.17 2.38 0.84 1.35 4.99 0.00 1.45 26.00

time (sec)

N/A 0.395 5.343 5.162 0.277 0.305 0.000 0.374 24.793

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

160 183 1896 124 235 979 0 212 4987

N.S.

1 1.14 11.85 0.78 1.47 6.12 0.00 1.32 31.17

time (sec)

N/A 0.472 8.329 9.732 0.315 0.320 0.000 0.449 25.728

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

207 231 3028 152 319 1505 0 298 6017

N.S.

1 1.12 14.63 0.73 1.54 7.27 0.00 1.44 29.07

time (sec)

N/A 0.551 9.491 18.385 0.286 0.360 0.000 0.516 26.616

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 73 136 80 112 116 0 531 166

N.S.

1 0.94 1.74 1.03 1.44 1.49 0.00 6.81 2.13

time (sec)

N/A 0.287 3.263 20.494 0.196 0.272 0.000 1.932 19.934

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 75 131 73 113 111 0 656 153

N.S.

1 0.93 1.62 0.90 1.40 1.37 0.00 8.10 1.89

time (sec)

N/A 0.292 1.118 11.325 0.226 0.273 0.000 0.961 19.468

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 69 129 81 102 102 0 782 142

N.S.

1 0.93 1.74 1.09 1.38 1.38 0.00 10.57 1.92

time (sec)

N/A 0.261 1.910 11.280 0.207 0.274 0.000 0.577 19.330

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 128 158 144 243 307 0 767 190

N.S.

1 0.98 1.22 1.11 1.87 2.36 0.00 5.90 1.46

time (sec)

N/A 0.348 1.422 17.523 0.201 0.611 0.000 0.422 20.768

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 151 176 193 344 584 0 1069 272

N.S.

1 0.98 1.14 1.25 2.23 3.79 0.00 6.94 1.77

time (sec)

N/A 0.380 1.981 30.707 0.214 0.929 0.000 0.558 21.188

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 194 208 254 454 859 0 1912 327

N.S.

1 1.01 1.08 1.32 2.36 4.47 0.00 9.96 1.70

time (sec)

N/A 0.434 5.525 53.496 0.225 1.684 0.000 0.528 22.487

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

147 170 760 134 193 664 0 200 615

N.S.

1 1.16 5.17 0.91 1.31 4.52 0.00 1.36 4.18

time (sec)

N/A 0.437 7.611 27.172 0.286 0.304 0.000 2.543 20.948

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

137 153 1473 124 163 763 0 159 1117

N.S.

1 1.12 10.75 0.91 1.19 5.57 0.00 1.16 8.15

time (sec)

N/A 0.384 16.892 15.427 0.278 0.308 0.000 1.247 21.390

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

138 161 1473 125 191 860 0 172 2405

N.S.

1 1.17 10.67 0.91 1.38 6.23 0.00 1.25 17.43

time (sec)

N/A 0.381 13.269 11.630 0.275 0.331 0.000 0.743 22.823

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

144 175 332 147 231 819 0 196 3271

N.S.

1 1.22 2.31 1.02 1.60 5.69 0.00 1.36 22.72

time (sec)

N/A 0.333 6.516 1.483 0.278 0.321 0.000 0.298 23.807

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

181 211 2089 149 311 1060 0 247 4890

N.S.

1 1.17 11.54 0.82 1.72 5.86 0.00 1.36 27.02

time (sec)

N/A 0.494 9.532 23.488 0.283 0.345 0.000 0.488 25.316

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

230 263 3340 171 409 1649 0 302 7057

N.S.

1 1.14 14.52 0.74 1.78 7.17 0.00 1.31 30.68

time (sec)

N/A 0.564 9.842 41.582 0.287 0.370 0.000 0.475 25.944

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

285 319 976 199 520 2229 0 388 7460

N.S.

1 1.12 3.42 0.70 1.82 7.82 0.00 1.36 26.18

time (sec)

N/A 0.650 12.570 69.090 0.295 0.420 0.000 0.471 27.969

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 107 139 568 0 456 0 1280 0

N.S.

1 0.96 1.25 5.12 0.00 4.11 0.00 11.53 0.00

time (sec)

N/A 0.317 2.828 12.017 0.000 1.972 0.000 1.820 0.000

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 79 74 338 0 386 0 800 0

N.S.

1 0.99 0.92 4.22 0.00 4.82 0.00 10.00 0.00

time (sec)

N/A 0.278 0.918 7.435 0.000 0.593 0.000 0.760 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 56 119 58 0 312 0 377 46

N.S.

1 1.04 2.20 1.07 0.00 5.78 0.00 6.98 0.85

time (sec)

N/A 0.235 0.561 0.155 0.000 0.371 0.000 0.463 20.345

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B C B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 72 70 540 3317 963 0 402 0

N.S.

1 1.03 1.00 7.71 47.39 13.76 0.00 5.74 0.00

time (sec)

N/A 0.290 0.328 1.350 0.603 0.418 0.000 0.692 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F B F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

109 113 527 2756 0 1342 0 574 0

N.S.

1 1.04 4.83 25.28 0.00 12.31 0.00 5.27 0.00

time (sec)

N/A 0.311 6.913 1.388 0.000 0.557 0.000 0.905 0.000

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F B F B F B F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

161 182 0 4323 0 1953 0 866 0

N.S.

1 1.13 0.00 26.85 0.00 12.13 0.00 5.38 0.00

time (sec)

N/A 0.369 0.000 1.359 0.000 1.388 0.000 1.299 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 229 263 1581 0 1775 0 0 0

N.S.

1 1.05 1.20 7.22 0.00 8.11 0.00 0.00 0.00

time (sec)

N/A 0.528 4.130 21.774 0.000 4.224 0.000 0.000 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 169 208 1065 0 1621 0 0 0

N.S.

1 1.02 1.26 6.45 0.00 9.82 0.00 0.00 0.00

time (sec)

N/A 0.429 3.055 16.737 0.000 1.312 0.000 0.000 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

118 115 526 661 0 1471 0 0 0

N.S.

1 0.97 4.46 5.60 0.00 12.47 0.00 0.00 0.00

time (sec)

N/A 0.361 4.606 12.297 0.000 0.619 0.000 0.000 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B C B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 77 284 351 3227 1227 0 0 0

N.S.

1 0.97 3.59 4.44 40.85 15.53 0.00 0.00 0.00

time (sec)

N/A 0.232 0.548 4.094 0.814 0.487 0.000 0.000 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 67 130 224 0 499 0 0 0

N.S.

1 0.97 1.88 3.25 0.00 7.23 0.00 0.00 0.00

time (sec)

N/A 0.312 0.731 3.215 0.000 0.429 0.000 0.000 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 112 176 596 0 629 0 0 0

N.S.

1 0.98 1.54 5.23 0.00 5.52 0.00 0.00 0.00

time (sec)

N/A 0.369 0.857 4.712 0.000 0.722 0.000 0.000 0.000

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 175 178 1016 0 849 0 0 0

N.S.

1 1.05 1.07 6.08 0.00 5.08 0.00 0.00 0.00

time (sec)

N/A 0.450 2.876 5.901 0.000 2.297 0.000 0.000 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 128 149 826 0 527 0 2026 0

N.S.

1 0.95 1.10 6.12 0.00 3.90 0.00 15.01 0.00

time (sec)

N/A 0.322 2.404 16.964 0.000 7.519 0.000 3.262 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 102 99 518 0 443 0 1431 0

N.S.

1 0.98 0.95 4.98 0.00 4.26 0.00 13.76 0.00

time (sec)

N/A 0.288 1.718 14.217 0.000 1.970 0.000 1.671 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 79 84 81 0 373 0 867 66

N.S.

1 1.01 1.08 1.04 0.00 4.78 0.00 11.12 0.85

time (sec)

N/A 0.255 0.333 0.141 0.000 0.599 0.000 1.000 23.605

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F B F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

91 91 506 1330 0 1075 0 718 0

N.S.

1 1.00 5.56 14.62 0.00 11.81 0.00 7.89 0.00

time (sec)

N/A 0.318 6.079 5.571 0.000 0.578 0.000 4.131 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

114 118 622 1569 0 1300 0 0 0

N.S.

1 1.04 5.46 13.76 0.00 11.40 0.00 0.00 0.00

time (sec)

N/A 0.345 6.308 1.263 0.000 0.605 0.000 0.000 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

159 172 684 4839 0 1801 0 0 0

N.S.

1 1.08 4.30 30.43 0.00 11.33 0.00 0.00 0.00

time (sec)

N/A 0.387 6.905 1.178 0.000 1.612 0.000 0.000 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 302 353 2229 0 1973 0 0 0

N.S.

1 1.04 1.22 7.69 0.00 6.80 0.00 0.00 0.00

time (sec)

N/A 0.658 7.880 30.399 0.000 14.978 0.000 0.000 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 220 258 1619 0 1777 0 0 0

N.S.

1 1.03 1.21 7.57 0.00 8.30 0.00 0.00 0.00

time (sec)

N/A 0.550 5.287 21.723 0.000 4.149 0.000 0.000 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

166 165 703 1119 0 1627 0 0 0

N.S.

1 0.99 4.23 6.74 0.00 9.80 0.00 0.00 0.00

time (sec)

N/A 0.451 7.206 17.357 0.000 1.269 0.000 0.000 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

118 116 527 709 0 1457 0 0 0

N.S.

1 0.98 4.47 6.01 0.00 12.35 0.00 0.00 0.00

time (sec)

N/A 0.271 2.095 8.033 0.000 0.623 0.000 0.000 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

111 106 410 539 0 1446 0 0 0

N.S.

1 0.95 3.69 4.86 0.00 13.03 0.00 0.00 0.00

time (sec)

N/A 0.377 6.497 9.300 0.000 0.650 0.000 0.000 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 110 100 369 0 597 0 0 0

N.S.

1 0.98 0.89 3.29 0.00 5.33 0.00 0.00 0.00

time (sec)

N/A 0.386 0.578 3.742 0.000 0.837 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]